System and method for establishing trust without revealing identity

ABSTRACT

One aspect of an embodiment of the invention provides a method, system, and device to prove to a challenger that a prover device has a signature from a device manufacturer without revealing the signature to the challenger. According to one implementation, a challenger is provided with the result of a one-way function of a secret held by a prover device. An interactive proof is employed, between the prover device and the challenger, to prove to the challenger that the secret used in the one-way function has been signed by a device signature without revealing the secret or the device signature or the prover device&#39;s identity to the challenger.

RELATED APPLICATIONS

This application is a continuation of application Ser. No. 10/306,336, filed Nov. 27, 2002, now U.S. Pat. No. 7,165,181.

FIELD

Various embodiments of the invention pertain generally to secure communications. More particularly, at least one embodiment of the invention relates to enabling a first device to prove to a second device that it has a valid signature without revealing said signature.

BACKGROUND

In many modern communication systems, including computer networks, the reliability and security of the information being exchanged is a significant concern.

For example, in the Trusted Computing Platform Alliance(TCPA) model, each computer (PC) has a trusted hardware device called a Trusted Platform Module (TPM). In one implementation, the TPM may record information about the software and hardware environment of the PC. Each TPM has a unique endorsement key (EK). There is a certificate issued to the EK which contains information about the TPM and platform. When an outside party, hereinafter called a challenger, wants to know the software and/or hardware environment of the PC, the challenger can ask the TPM to give a report. The challenger wants to be sure that the report is really coming from a valid TPM. The owner of the PC wants to maintain as much privacy as possible. In particular, the owner of the PC wants to be able to give reports to two different challengers without those challengers being able to determine that the reports are coming from the same TPM.

One solution proposed by the TCPA was to establish Trusted Third Parties (TTP). The TPM would create an Attestation Identify Key (AIK) and would send the public portion of the key in a certificate request signed by the EK to a TTP. The TTP would check that the EK was valid, that the signature was okay, and would issue a certificate for the AIK. The TPM would then use the AIK and the certificate of the TTP when the TPM received a request from a challenger. These would be unrelated to the EK, and thus the challenger would get no information about the AIK. The problem with this approach is that it requires TTPs to be established. In practice, identifying parties that can serve as TTPs and a feasible business model for this approach has proven to be a substantial obstacle.

Thus, the need for TTPs in the TCPA architecture has been a problem. However, no one has suggested a cryptographic protocol that achieved the anonymity and security requirements without the use of a TTP.

BRIEF DESCRIPTION OF THE DRAWINGS

FIG. 1 illustrates a system where a direct proof scheme may be implemented according to an embodiment of the invention.

FIG. 2 is a block diagram illustrating one embodiment of a platform including a Trusted Platform Module according to one embodiment of the invention.

FIG. 3 illustrates a procedure to setup a TPM during manufacturing according to one embodiment of the invention.

FIG. 4 illustrates the setup performed for each platform manufactured according to one embodiment of the invention.

FIG. 5 illustrates an interactive proof method for a platform (prover) to prove to a challenger that it knows authentication information without revealing that information according to one embodiment of the invention.

FIG. 6 is a flow diagram illustrating a method between a challenger and platform to implement the interactive proof (IP1) of FIG. 5.

FIG. 7 is a flow diagram illustrating a method between a challenger and platform to implement the interactive proof (IP2) of FIG. 5.

FIG. 8 illustrates how a direct proof may be implemented in a limited number of rounds to expedite the authentication process according to one embodiment of the invention.

DETAILED DESCRIPTION

In the following detailed description of various embodiments of the invention, numerous specific details are set forth in order to provide a thorough understanding of various aspects of one or more embodiments of the invention. However, one or more embodiments of the invention may be practiced without these specific details. In other instances, well known methods, procedures, and/or components have not been described in detail so as not to unnecessarily obscure aspects of embodiments of the invention.

In the following description, certain terminology is used to describe certain features of one or more embodiments of the invention. For instance, “platform” includes any type of device, computer, processing unit, etc. The term “challenger” refers to any person, platform, system, software, and/or device that requests some verification of authenticity or authority from a requester prior to disclosing or providing the requested information to the requester. The term “prover” (e.g., prover device) refers to any person, platform, system, software, and/or device that has been requested to provide some proof of its authority, validity, and/or identity. The term “device manufacturer” (e.g., Device Manufacturer C) refers to any person, platform, system, entity, software, and/or device that manufactures or configures a device or platform (e.g., a Trusted Platform Module). The term “device manufacturer” may be used interchangeably with the term “certifying manufacturer”. The term “HASH” refers to any hashing function or algorithm or its equivalent.

Throughout the description and illustration of the various embodiments of the invention discussed hereinafter, coefficients, variables, and other symbols are referred to by the same label or name. Therefore, where a symbol (e.g., h) appears in different parts of the explanation, the same symbol is being referred to throughout.

One aspect of an embodiment of the invention presents a way to provide an authentication system with anonymity for devices without the use of a Trusted Third Party (TTP).

One aspect of an embodiment of the invention provides a method, system, and device to prove to a challenger that a prover platform or device has a signature from a device manufacturer without revealing the signature to the challenger.

Another aspect of an embodiment of the invention provides a method, system, and device to provide to a challenger the result of a one-way function of a secret held by a prover device (e.g., the requesting device), and to prove to the challenger that the secret used in the one-way function has been signed by a device signature without revealing the secret or the signature to the challenger.

As used herein, to “prove” or “convince” a challenger that a prover has or knows a signature or secret means that, based on the information and proof disclosed to the challenger, it is highly probabilistically likely that the prover has the signature or secret. To prove this to a challenger without “revealing” or “disclosing” the signature or secret to the challenger means that, based on the information disclosed to the challenger, it would be computationally infeasible to determine the signature or secret.

Such proofs are hereinafter referred to as direct proofs. The term “direct proof” refers to interactive proofs and/or zero-knowledge proofs, as these types of proofs are commonly known in the field.

FIG. 1 illustrates a system where a direct proof scheme according to an embodiment of the invention may be implemented. A Platform A 102 (Challenger) requests that Platform B 104 (Prover) provide some information about itself and Platform B 104 provides said requested information. However, Platform A 102 wants to make sure that the requested information came from a device manufactured by Device Manufacturer C. Thus, Platform A 102 challenges Platform B 104 to show that it has a signature generated by Device Manufacturer C. Platform B 104 replies to such request by providing information which convinces Platform A 102 that Platform B 104 has a signature generated by a Device Manufacturer C, without revealing the signature.

In one embodiment of the invention, Platform B 104 may include a Trusted Platform Module (TPM) 106. It is manufactured by a device manufacturer so that it performs the functions necessary for this invention and conforms to the operations of the protocols described herein. In general, the TPM should be manufactured to maintain the security features described herein. For example, in the protocol IP1 described below and illustrated in FIG. 6, the TPM performs specified functions using specified values. A TPM should be manufactured or configured to use values (e.g., the values specified below) that would not create a security flaw in the protocol (e.g., make it likely that a device's identify can be determined, etc.).

FIG. 2 is a block diagram illustrating one embodiment of a device or platform 200 (e.g., Platform B 104) with a Trusted Platform Module (TPM) 204 according to one embodiment of the invention. The device 200 may include a processing unit 202 coupled to the TPM 204. In one implementation, a storage device 206 may also be included in the device 200 to permit storage of information about the device 200 (e.g., hardware information, software information, etc.). In various implementations of the invention, the platform or device 200 may be an electronic device such as a computer, mobile device, etc.

FIG. 3 illustrates the setup performed for each platform class according to one embodiment of the invention. A platform class may be defined by the device manufacturer to include one or more types of platforms or devices. For instance, a platform class may be the set of all platforms that have the same security relevant information. Each platform has a set of security relevant information about the platform. This information could contain some of the information that is included in the EK or AIK certificate in the TCPA model. It could also include the manufacturer and model number of the particular platform or device.

For each platform class, a device manufacturer creates the cryptographic parameters that the manufacturer uses for that platform class. The device manufacturer creates a signature key that it uses to sign the secrets for the devices (e.g., device 200) that it manufactures.

In one embodiment of the invention, the device manufacturer employs the RSA algorithm (a public-key cryptosystem defined by Ronald Rivest, Adi Shamir, and Leonard Adelman) to create an RSA public, private key pair with public modulus n, public exponent d, and private exponent e 302. This can be created using well known methods, such as those described in Applied Cryptography, by Bruce Schneier, John Wiley & Sons; ISBN: 0471117099; Second Edition (Oct. 18, 1995). The modulus n should be chosen large enough so that it was computationally infeasible to factor n.

The device manufacturer specifies a parameter Z, which is an integer between zero (0) and n 304.

The device manufacturer specifies a security parameter W, which is an integer between zero (0) and n 306. However, picking W too small or too large may introduce a security failure. In one implementation it may be recommended that W be chosen between 2¹⁶⁰ and n/2¹⁶⁰. Accordingly, choosing W to be approximately √{square root over (n)} may be a reasonable choice.

In one embodiment of the invention, the device manufacturer computes a prime number P, such that P=u*n+1 308. There is nothing special about the value of u, other than that u*n+1 is a prime number. For example, the smallest such value u can be used. Generally, the value P should to be large enough so that computing discrete logarithms mod P is computationally infeasible.

The device manufacturer generates a Platform Class Certificate that includes the cryptographic parameters e, n, u, P, Z, W, the security relevant information of the platform class, and the name of the device manufacturer 310. In one embodiment, the parameters u and P would not both be included since given n and one of these parameters, the other can be computed by P=u*n+1.

In one embodiment of the invention, the device manufacturer uses the same e, n, u, P, W for several different platform classes, and just varies the value Z for the different platforms. In this case, the values of Z should be chosen to differ by at least 4W.

Once the Platform Class Certificate is generated, the device manufacturer provides the Class Certificate to the devices it manufactures which belong to that particular platform class 312.

The distribution of the Platform Class Certificate from a prover device or platform (e.g., Platform A in FIG. 1) to a challenger may be accomplished in a number of ways without deviating from one or more embodiments of the invention. These cryptographic parameters, i.e., Platform Class Certificate, should be distributed to the challenger in such a way that the challenger is convinced that the Class Certificate was generated by the device manufacturer. There are accepted standard methods for doing this, either through distributing the parameters directly to the challenger, or by having the Platform Class Certificate signed by a certifying authority. In this latter case, the public key of the certifying authority must be distributed to the challenger, and the signed Platform Class Certificate can be given to each device or platform (e.g., prover device) in the Platform Class. The device can then give the signed Platform Class Certificate to the challenger.

FIG. 4 illustrates the setup performed for a Prover Platform or Device manufactured according to one embodiment of the invention. The Prover Device chooses a random number m such that 0<m−Z<W 402. The Prover Device may blind this random number m before sending it to the Certifying Manufacturer for a signature 404. In this case, the Prover Device chooses a random number, B, between 1 and n−1 406, and computes A=B^(e) mod n 408. The Prover Device computes m′=m*A mod n 410.

If the Device does not blind m, then the Device uses m′=m and A=1 412.

The Prover Device sends m′ to the Certifying Manufacturer 414. The Certifying Manufacturer computes c′=m′^(d) mod n 416, and gives c′ to the Device 418. The Device computes c=c′*B⁻¹ mod n 420. Notice that this implies that c=m^(d) mod n. The numbers c and m are then stored in the TPM 422. The pair, c and m, is referred to as a signature of the Device Manufacturer.

FIG. 5 illustrates a method for a Prover Device to prove to a Challenger that it has a signature from the Certifying Manufacturer without revealing the signature according to one embodiment of the invention. A Challenger (e.g., Platform A 102) may send a message seeking validity (e.g., ascertain the validity of the device) from a Prover Device (e.g., Device B 104) having a TPM 502. This message may contain the name of the Challenger. The Prover Device sends a device certificate (e.g., Platform Class Certificate) to the Challenger including the number n 504. The TPM in the Prover Device creates an AIK private-public key pair 506. The private-public key pair includes a public key and a private key. In one embodiment, the TPM could have created the AIK private-public key pair sometime earlier. The TPM creates or generates a value h 508. The value h may be determined in a number of ways, including randomly generating the value h and generating the value h in a deterministic manner. The h value should have the property that h^(n)=1 mod P and that the TPM uses a different h value for each challenger.

In one embodiment of the invention, the value h may be generated in a random or pseudo-random manner. For example, the TPM may select a random number j between 1 and n−1, and compute h=j^(u) mod P.

The TPM computes a k value, k=h^(m) mod P 510. The Prover Device then sends the Challenger the computed values h and k and the AIK public key 512.

In another embodiment of the invention, the value h may be generated in a deterministic manner. For example, the TPM may compute h in a deterministic manner from the name of the Challenger. One method to do this is to compute H_(i)=HASH(i, name of Challenger), for several values, say ten (10), of i=1,2,3 . . . , 10 and then to let j=the concatenation of H₁ || H₂ || H₃ . . . || H₁₀. Then, as above, the TPM computes h=j^(u) mod P, where u=(P−1)/n as defined earlier. The TPM computes a k value, k=h^(m) mod P. The Prover Device then sends the Challenger the computed value k and the AIK public key. The user of the TPM wants to be assured that a single h is not used with multiple parties, since this would break the anonymity of this TPM with these multiple parties. Therefore the TPM or the Prover Device might keep a list of all of the h values that it had used, so that it could disallow the use of a repeat, or at least inform the user if one was repeated. In one implementation of the invention, the Prover Device may also display the name of the Challenger, so that the Prover Device user would know the name. In this embodiment, a Challenger is sure that for every TPM key, there is only one k=h^(m) mod P that the TPM can have in the proof. So if the Challenger stores the k, along with the AIK, the Challenger can be sure that a single TPM hasn't created more than one AIK. This method may be referred to as the single h per Challenger method.

A single service provider could establish multiple challengers, each with its own name, and thus its own h. The different challengers would not be able to correlate the AIKs from a single TPM. It is an implementation decision of a service provider whether to allow multiple challengers within his business.

The Prover Device then engages in an interactive proof (IP1) with the Challenger 514 that it knows a pair of values c and m such that m=c^(e) mod n and k=h^(m) mod P. The Prover Device also engages in an interactive proof with the Challenger in a second interactive proof (IP2) indicating that the discrete log of k base h is between Z and Z+W 516. FIGS. 6 and 7 give illustrative embodiments of these two interactive proofs IP1 and IP2.

FIG. 6 is a flow diagram illustrating a method between a Challenger and Prover Device to implement the interactive proof IP1 of FIG. 5 according to one embodiment of the invention. The IP1 can be employed to prove that a TPM knows values c and m such that m=c^(e) mod n and k=h^(m) mod P without the TPM (part of the Prover Device) revealing c or m. The Challenger supplies an Assurance Parameter (AP) to the Prover Device, for instance, a value between ten (10) and forty (40) 602. The TPM then randomly selects a value x mod n 604. The TPM computes a value y 606, such that x*y=c mod n, and computes a value v, such that v=h^((x) ^(e) ^(mod n)) mod P 608. The TPM sends the value v to the Challenger 610. The TPM computes the values of HASH(AIK public key, x) and HASH(AIK public key, y) 611. The Challenger then elects to receive either x or y 612. If the Challenger elects to receive x, then the TPM sends x to the Challenger 614. The Challenger verifies that v=h^((x) ^(e) ^(mod n)) mod P and that the HASH(AIK public key, x) was correctly sent. Otherwise, if the Challenger elects to receive y 618, then the TPM sends y to the Challenger, and the Challenger verifies that k=v^((y) ^(e) ^(mod n)) mod P and that the HASH(AIK public key, y) was correctly sent 620. In one embodiment of the invention, this verification scheme is performed AP times 622.

FIG. 7 is a flow diagram illustrating a method between a Challenger and Prover Device to implement the interactive proof IP2 of FIG. 5 according to one embodiment of the invention. The IP2 can be employed to prove that a TPM knows a value m such that Z−W<m<Z+2*W, and k=h^(m) mod P without the TPM revealing m.

The Challenger supplies an Assurance Parameter (AP) to the Prover Device, for instance, a value between ten (10) and forty (40) 701. The TPM (part of the Prover Device) randomly selects a number t such that 0<t<W 702. The TPM computes g₀=h^(t) mod P 704 and g₁=g₀*h^((−w)) mod P 706. The TPM generates two random 160-bit values, R₀ and R₁ 708, computes H₀=HASH(AIK public key, g₀, R₀) and H₁=HASH(AIK public key, g₁, R₁) 710, and sends H₀ and H₁ to the Challenger in random order 712.

The Challenger selects from two choices 714, for example, either choice 0 or 1.

If the Challenger selects choice 0, then the TPM sends t, R₀, R₁, and the ordering of H₀ and H₁ to the Challenger 716. The Challenger computes g₀=h^(t) mod P and g₁=h^((t−W)) mod P 718. The Challenger checks that 0<t<W 720. The Challenger also checks that H₀=HASH(AIK public key, g₀, R₀) and H₁=HASH(AIK public key, g₁, R₁) 722. The Challenger accepts if all of these checks pass 724.

If the Challenger selects choice 1, then if m+t is in the interval between Z and Z+W 726, the TPM sends m′=m+t, g₀ and R₀, 728 and informs the Challenger to use the H₀. The Challenger checks that H₀=HASH(AIK public key, g₀, R₀), that m′ is in the interval between Z and Z+W, and that g₀*k−h^(m′) mod P 730. If m+t>Z+W, then the TPM sends m′=m−W+t, g₁ and R₁ 732 and informs the Challenger to use the H₁. The Challenger checks that H₁=HASH(AIK public key, g₁, R₁), that Z<m′<Z+W, and that g₁*k=h^(m′) mod P 734. The Challenger accepts if the above checks pass 724.

In one embodiment of IP2, the above procedures are repeated AP times 723. Note that, repeating the procedure for IP1, as illustrated in FIG. 6 reference 622, and/or IP2, as illustrated in FIG. 7 reference 723, makes it less likely that an unauthorized or cheating prover can succeed in providing adequate proof to a challenger. That is, repeating a proof (e.g., IP1 or IP2) AP times forces a prover to succeed on each round, which is a 1 in 2^(AP) chance.

After the TPM has successfully completes the IP1 and IP2 processes described above, the Challenger is convinced that the Prover Device/TPM knows values m and c such that Z−W<m<Z+2*W, and c=m^(d) mod n. In other words, c is a signature of m. To compute a signature of m for a given value in the interval is equivalent to breaking RSA. To compute a signature of any value in the interval without knowing the factorization of the modulus n, is a difficult computational problem.

The protocols described in FIGS. 6 and 7 have the disadvantage of requiring multiple rounds of communications between the TPM (Prover Device) and Challenger. However, in another embodiment of the invention, these protocols may be converted to limited round protocols.

FIG. 8 illustrates how a direct proof may be implemented in a limited number of communications to expedite the authentication process according to one embodiment of the invention. The TPM generates an AIK private-public key pair, which includes an AIK public key and a AIK private key, and sends the AIK public key (or just the HASH of the AIK public key) to the Challenger 802. The Challenger selects an assurance parameter (AP) 804, selects a 2*AP set of random bits (CHOICES) 806, and selects an additional Random Filler of three hundred twenty (320) random bits 808. The Challenger then sets RAND=CHOICES || Random Filler 810, calculates Commitment=(Public AIK key || RAND), and sends the HASH of Commitment to the TPM, which the TPM stores 812.

The TPM determines an h value to use with this Challenger using one of the methods described above, either generating h using a random method or generating the h from the name of the Challenger in the single h per Challenger method 818.

Instead of serially computing values one loop at a time as illustrated in FIGS. 6 and 7, the TPM now generates all the calculations for all rounds (loops) of the method for both interactive proofs (IP1 and IP2) and sends all of the calculated values for all rounds to the Challenger 820. The set of calculated values would include, k, h; from each round of IP1, v, HASH(AIK public key, x), and HASH(AIK public key, y); and from each round of IP2, H₀ and H₁. The Challenger then sends the value of RAND to the TPM 822. The TPM verifies that the first bits of the Commitment are the hash of the public AIK key and uses the first 2*AC bits of RAND as the choices for the challenger during the protocol 824. The TPM prepares the responses for all of the rounds based on these choices, and then sends them all of the responses back to the Challenger.

In one embodiment of the limited communications version, the HASH(AIK public key, x) and the HASH(AIK public key, y) is not sent to the Challenger. Similarly, the value of H₀=HASH (g₀, R₀) instead of HASH (AIK public key, g₀, R₀) and H₁ is HASH(g₁,R₁) instead of HASH(AIK public key, g₁, R₁)

In certain implementations, it may be desirable to allow Challengers to revoke a TPM if it is determined or suspected that the TPM or its key(s) has been compromised.

One instance in which a Challenger may determine that a Prover Device's TMP has been compromised is that a key (c and m) for a compromised TPM may be widely disseminated, such as a posting on the web. In this instance, the Challenger can revoke that TPM. For example, suppose that c₀ and m₀ are the keys of the compromised TPM that have been posted. Whenever the Challenger sees an h value, the Challenger computes k₀=h^(m) ⁰ mod P. If this matches the value k given by the prover, then the Challenger knows that the m used by the prover matches the m₀ of the compromised TPM, and thus the Challenger will not accept it.

In another embodiment of revocation, suppose the Challenger always stores the h and k values together with the AIK values. Then when a Challenger receives compromised keys c₀ and m₀, the Challenger can check to see if any of the h and k values received were computed using the compromised keys c₀ and m₀. He does this by computing k₀=h^(m) ⁰ mod P and checking to see if that matched the k value he received from the TPM. If so, he revokes the corresponding AIK value. If the single h per Challenger method is being used, then the computation by the Challenger is easier, since the Challenger just needs to compute k₀ and see if this matches any of the k's received by the Challenger.

In another instance in which a Challenger may determine that a key has been compromised, a Challenger may detect a usage pattern for the TPM that is indicative of having been compromised. For example, two connections to the Challenger from different Prover Devices at the same time may indicate a compromised key. If the single h per Challenger method is used, the Challenger would know that two connections used the same m, since the same k=h^(m) mod P would be associated with both connections. The Challenger may decide that the secret values could have been compromised, so that Challenger will not accept any more direct proofs using that k. Then the secret values from that TPM can no longer be used with that Challenger. However, this Challenger can't tell any other Challenger not to use secret values coming from that TPM, since the Challenger doesn't know the value of m.

In another embodiment of the invention, a group of Challengers may decide that they want to all be able to revoke the secret values of a TPM if one of the Challengers in the group decides that those secret values may have been compromised. Enabling this feature requires a change to an embodiment of the invention as it has been described above. The change involves how the values of h are determined. A Trusted Revocation Authority (TRA) is formed. The TRA has a public verification, private signature key pair, such as a standard RSA key pair. The TRA public key is given to the TPM using some secure distribution method, such as having the manufacturer put the key into the TPM during manufacturing.

The TRA generates a g value such that g^(n)=1 mod P. The TRA can do this by generating a random g′ value between 1 and P, and then computing g=g′^(u) mod P. Then for each challenger in the group, the TRA will pick an exponent (EXP) at random between 1 and n, and compute h=g^(EXP) mod P. The TRA then signs a certificate with the name of this Challenger and this h value in the certificate. The TRA securely stores the EXP used to create the h for each Challenger.

When a TPM initiates a direct proof with a Challenger in the group, the Challenger sends this certificate for the h value. The TPM validates this certificate by checking the signature of the TRA. If valid, then the TPM uses this h value, instead of generating an h value as described in an earlier embodiment. Other aspects of the direct proof remain the same.

When a Challenger₁, with h₁ as its h value, announces that it wants to revoke the TPM which created k₁=h₁ ^(m) mod P, the TRA retrieves EXP₁, the EXP value used to compute h₁ as h₁=g^(EXP) ¹ mod P. Note that neither the Challenger₁, nor the TRA may know the value of m in the TPM that the Challenger₁, wants to revoke. To tell Challenger_(i) the k value to revoke, the TRA computes b₁=EXP₁ ⁽⁻¹⁾ mod n, and then computes k_(i)=k₁ ^((EXP) ^(i) ^(*b) ¹ ⁾ mod P. Notice that k_(i)=h_(i) ^(m) mod P. Notice that the TRA did not compute m during this computation; k_(i) is then sent to Challenger_(i), and Challenger_(i) can then revoke k_(i) if it desires.

While certain exemplary embodiments of the invention have been described and shown in the accompanying drawings, it is to be understood that such embodiments are merely illustrative of and not restrictive on the broad aspects of various embodiments of the invention, and that these embodiments not be limited to the specific constructions and arrangements shown and described, since various other modifications are possible. It is possible to implement the embodiments of the invention or some of their features in hardware, programmable devices, firmware, software or a combination thereof. 

1. A method comprising: receiving an authentication request from a challenger device; sending information to the challenger device from a prover device; and convincing the challenger device that a valid signature is known by the prover device without revealing the signature to the challenger device.
 2. The method of claim 1 wherein the information sent to the challenger device includes a device certificate for the prover device.
 3. The method of claim 1 further comprising: generating a value k based on a one-way function; and generating a private-public key pair in the prover device, the private-public key pair including a private key and a public key, wherein value k and the public key are included in the information sent to the challenger device.
 4. The method of claim 3 wherein the value k is defined as k=h^(m) mod P, where h is a unique number generated by the prover device, m is a randomly generated number, and P is a large prime number.
 5. The method of claim 1 wherein convincing the challenger device that a valid signature is known by a prover device without revealing the signature to the challenger device includes sending the challenger device an interactive proof that the prover device knows the signature without revealing the signature to the challenger device.
 6. The method of claim 1 further comprising: convincing the challenger device that the prover device knows the valid signature without revealing the identity of the prover device.
 7. The method of claim 1 wherein convincing the challenger device that the signature known by the prover device is not on a revocation list of compromised device signatures without revealing the signature known by the prover device.
 8. A device comprising: a communication port; and a processing unit, the processing unit configured to communicate with a challenger platform over the communication port, and convince the challenger platform that the device knows a secret without revealing the identity of the device.
 9. The device of claim 8 wherein convincing the challenger platform that the device knows the secret without revealing the identity of the device includes proving to the challenger platform that it has a valid signature of a known entity without revealing the signature, and tying a value correlated with the secret to the communication with the challenger platform so that a different value cannot be substituted without violating the proof.
 10. A system comprising: a challenger device; and a prover device communicatively coupled to the challenger device, the prover device configured to convince the challenger that the prover device has a valid signature of a known entity without revealing the signature.
 11. The system of claim 10 wherein convincing the challenger device that the prover device has a valid signature of a known entity without revealing the signature includes revealing to the challenger device the result of a one-way function of a secret held by the prover device, and proving to the challenger device that the secret has a valid signature without revealing the secret to the challenger device. 